David Harel: ძიება ვებგვერდზე Z-Library

David Harel, Michal Politi

წელი:

2000

ენა:

english

ფაილი:

PDF, 3.57 MB

0 / 0

english, 2000

Modeling Reactive Systems With Statecharts : The Statemate Approach

Mcgraw-Hill (Tx)

წელი:

1998

ენა:

english

ფაილი:

PDF, 3.13 MB

0 / 0

english, 1998

Dynamic Logic (Foundations of Computing)

The MIT Press

David Harel, Dexter Kozen, Jerzy Tiuryn

წელი:

2000

ენა:

english

ფაილი:

PDF, 2.24 MB

5.0 / 0

english, 2000

Dynamic Logic

MIT

David Harel, Dexter Kozen, Jerzy Tiuryn

წელი:

2000

ენა:

english

ფაილი:

PDF, 1.71 MB

5.0 / 0

english, 2000

Statecharts. A Visual Formalism for Complex Systems

Weizmann Institute of Science, Dept. of Computer Science

Wydawnictwa Naukowo-Techniczne

წელი:

1986

ენა:

english

ფაილი:

PDF, 1.81 MB

0 / 0

english, 1986

Rzecz o istocie informatyki: algorytmika

წელი:

2000

ენა:

polish

ფაილი:

PDF, 12.35 MB

0 / 0

polish, 2000

Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine

David Harel, Rami Marelly

წელი:

2003

ენა:

english

ფაილი:

PDF, 6.51 MB

0 / 0

english, 2003

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

წელი:

2005

ენა:

english

ფაილი:

PDF, 6.45 MB

0 / 0

english, 2005

Business Process Management: 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings

David Harel (auth.), Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 9.53 MB

0 / 0

english, 2011

Computers Ltd: What They Really Can't Do

Oxford University Press

წელი:

2000

ენა:

english

ფაილი:

DJVU, 1.70 MB

0 / 0

english, 2000

Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

David Harel, Yaki Setty (auth.), Jasmin Fisher (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 6.36 MB

0 / 0

english, 2008

電腦也搞不定 (-a Taiwanese translation of David Harel's Computers Ltd.-)

წელი:

2002

ენა:

chinese

ფაილი:

PDF, 50.97 MB

0 / 4.0

chinese, 2002

Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

Eran Gery, David Harel, Eldad Palachi (auth.), Michael Butler, Luigia Petre, Kaisa Sere (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 2.79 MB

0 / 0

english, 2002

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

წელი:

2005

ენა:

english

ფაილი:

PDF, 6.11 MB

0 / 0

english, 2005

Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers

David Harel, Hillel Kugler (auth.), Shen Yu, Andrei Păun (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 2.12 MB

0 / 0

english, 2001

Business Process Management: 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings

David Harel (auth.), Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 8.62 MB

0 / 0

english, 2011

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 2.39 MB

0 / 0

english, 2011

Dynamic Logic

MIT Press

David Harel & Dexter Kozen & Jerzy Tiuryn

წელი:

2000

ენა:

english

ფაილი:

PDF, 2.57 MB

0 / 0

english, 2000

CAAP '90: 15th Colloquium on Trees in Algebra and Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

Tirza Hirst, David Harel (auth.), A. Arnold (eds.)

წელი:

1990

ენა:

english

ფაილი:

DJVU, 3.58 MB

0 / 0

english, 1990

Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers

David Harel, Hillel Kugler (auth.), Shen Yu, Andrei Păun (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 3.76 MB

0 / 0

english, 2001

Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

Eran Gery, David Harel, Eldad Palachi (auth.), Michael Butler, Luigia Petre, Kaisa Sere (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 3.92 MB

0 / 0

english, 2002

Algorithmics, 3rd Edition: The Spirit of Computing

Addison-Wesley

წელი:

2004

ენა:

english

ფაილი:

PDF, 9.85 MB

5.0 / 4.0

english, 2004

Algoritmi: Lo spirito dell’informatica

Addison Wesley, Pearson Education

წელი:

2008

ენა:

italian

ფაილი:

PDF, 3.46 MB

0 / 0

italian, 2008

Algorithmics : the spirit of computing

David Harel, Yishai A Feldman

წელი:

2004

ენა:

english

ფაილი:

PDF, 3.59 MB

5.0 / 5.0

english, 2004

Algorithmics. Spirit of Computing

Addison Wesley

წელი:

2004

ენა:

english

ფაილი:

PDF, 9.29 MB

5.0 / 0

english, 2004

Algorithmic bioprocesses

Springer Berlin Heidelberg

Arto Salomaa (auth.), Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 13.14 MB

0 / 0

english, 2009

Algorithmik: Die Kunst des Rechnens

David Harel, Yishai Feldman, Micaela Krieger

წელი:

2006

ენა:

german

ფაილი:

PDF, 29.36 MB

0 / 0

german, 2006

Algorithmics: The Spirit of Computing

Addison-Wesley

David Harel, Yishai A. Feldman

წელი:

2004

ენა:

english

ფაილი:

PDF, 6.36 MB

0 / 0

english, 2004

Algorithmics: The Spirit of Computing

Addison Wesley Publishing Company

წელი:

1987

ენა:

english

ფაილი:

DJVU, 3.75 MB

0 / 0

english, 1987

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

David Harel (auth.), Armin Biere, Amir Nahir, Tanja Vos (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 3.51 MB

0 / 0

english, 2013

First-Order Dynamic Logic

David Harel (eds.)

წელი:

1979

ენა:

english

ფაილი:

PDF, 3.21 MB

0 / 0

english, 1979

Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings

David Harel (auth.), Johan Jeuring (eds.)

წელი:

1998

ენა:

english

ფაილი:

PDF, 2.07 MB

0 / 0

english, 1998

Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings

Hassan Gomaa (auth.), Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 17.51 MB

0 / 0

english, 2006

Algorithmik: Die Kunst des Rechnens

წელი:

2006

ენა:

german

ფაილი:

PDF, 28.25 MB

0 / 0

german, 2006

First-Order Dynamic Logic

David Harel (eds.)

წელი:

1979

ენა:

english

ფაილი:

DJVU, 1.19 MB

0 / 0

english, 1979

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 2.13 MB

0 / 0

english, 2011

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers